"Elsa L. Gunter" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)

Автор: Elsa L. Gunter, Автор: Amy Felty

Категория: Компьютеры

Размер книги: 25.43 Mb

Theorem Proving in Higher Order Logics, 10 conf., TPHOLs'97

Автор: Elsa L. Gunter, Автор: Amy Felty

Категория: CsLn_

Размер книги: 3.25 Mb